Regenerate Makefile if Makefile.in or configure change
authorCesar Eduardo Barros <cesarb@cesarb.eti.br>
Sat, 26 Sep 2015 14:54:16 +0000 (11:54 -0300)
committerCesar Eduardo Barros <cesarb@cesarb.eti.br>
Sat, 26 Sep 2015 14:58:16 +0000 (11:58 -0300)
commit5d5d8638605c60e82a0b59ee8b08b99607f3384e
tree8c8b4510bb505eebd9a2b701a95f950c0d799dca
parenta7b2c92ccaa8d3bee2943fdc7976840402fb64ae
Regenerate Makefile if Makefile.in or configure change

Based on rust's mk/reconfig.mk

Fixes #587 and #1993
Makefile.in